Ohio University

Results: 6232



#Item
291Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English
    292International Journal of Education & the Arts Editors Terry Barrett Ohio State University Peter Webster

    International Journal of Education & the Arts Editors Terry Barrett Ohio State University Peter Webster

    Add to Reading List

    Source URL: www.ijea.org

    Language: English - Date: 2016-04-14 13:54:55
    293Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State

    Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2012-10-11 15:21:46
      294REVENUE ALLOCATION AGREEMENT (Sample for Works) AGREEMENT This agreement is entered into this_______day of ____________, 20___, by and among the University of Akron, an educational institution of the State of Ohio, of 17

      REVENUE ALLOCATION AGREEMENT (Sample for Works) AGREEMENT This agreement is entered into this_______day of ____________, 20___, by and among the University of Akron, an educational institution of the State of Ohio, of 17

      Add to Reading List

      Source URL: www.uakron.edu

      Language: English - Date: 2009-08-01 20:36:37
        295The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

        The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2012-10-11 14:59:30
          296PROOF THEORY OF REFLECTION Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OHFebruary 21, 1993

          PROOF THEORY OF REFLECTION Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OHFebruary 21, 1993

          Add to Reading List

          Source URL: www1.maths.leeds.ac.uk

          Language: English - Date: 2012-10-11 11:29:00
            297Collapsing functions based on recursively large ordinals: A well–ordering proof for KPM Michael Rathjen∗ Department of Mathematics, Ohio State University, Columbus, Ohio 43210, USA

            Collapsing functions based on recursively large ordinals: A well–ordering proof for KPM Michael Rathjen∗ Department of Mathematics, Ohio State University, Columbus, Ohio 43210, USA

            Add to Reading List

            Source URL: www1.maths.leeds.ac.uk

            Language: English - Date: 2012-10-11 11:18:42
              298A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and

              A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and

              Add to Reading List

              Source URL: www1.maths.leeds.ac.uk

              Language: English - Date: 2011-07-09 07:15:02
                299ADM I S S I O N S C h e ck lis t IT’S ALL ABOUT U

                ADM I S S I O N S C h e ck lis t IT’S ALL ABOUT U

                Add to Reading List

                Source URL: www.firelands.bgsu.edu

                Language: English - Date: 2015-11-25 20:12:29
                300Einladung zum HAUS-Brunch In Washington, D.C. Please join HAUS President Kathleen Lance and fellow Heidelberg alumni on Sunday, June 5, 2016, 12:00 noon at Matchbox, Capitol Hill

                Einladung zum HAUS-Brunch In Washington, D.C. Please join HAUS President Kathleen Lance and fellow Heidelberg alumni on Sunday, June 5, 2016, 12:00 noon at Matchbox, Capitol Hill

                Add to Reading List

                Source URL: www.alumni.uni-heidelberg.de

                Language: English - Date: 2016-05-18 09:59:54